Bounded completeness and Schauder's basis for C[0, 1]
نویسندگان
چکیده
منابع مشابه
Polynomially bounded C0-semigroups
We characterize generators of polynomially bounded C0-semigroups in terms of an integrability condition for the second power of the resolvent on vertical lines. This generalizes results by Gomilko, Shi and Feng on bounded semigroups and by Malejki on polynomially bounded groups.
متن کاملOn the completeness of the system {tλn} in C0(E)
Article history: Received 8 March 2009 Available online 19 March 2010 Submitted by A.V. Isaev
متن کاملLinear Completeness Thresholds for Bounded Model Checking
Bounded model checking is a symbolic bug-finding method that examines paths of bounded length for violations of a given LTL formula. Its rapid adoption in industry owes much to advances in SAT technology over the past 10–15 years. More recently, there have been increasing efforts to apply SAT-based methods to unbounded model checking. One such approach is based on computing a completeness thres...
متن کاملSmall Bounded-Error Computations and Completeness
SBP is a probabilistic promise class located between MA and AM∩BPPpath. The first part of the paper studies the question of whether SBP has many-one complete sets. We relate this question to the existence of uniform enumerations. We construct an oracle relative to whichSBP and AM do not have many-one complete sets. In the second part we introduce the operatorSB·. We prove that, for any class C,...
متن کاملCompleteness and Complexity of Bounded Model Checking
For every finite model M and an LTL property φ, there exists a number CT (the Completeness Threshold) such that if there is no counterexample to φ in M of length CT or less, then M |= φ. Finding this number, if it is sufficiently small, offers a practical method for making Bounded Model Checking complete. We describe how to compute an over-approximation to CT for a general LTL property using Bü...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Glasgow Mathematical Journal
سال: 1986
ISSN: 0017-0895,1469-509X
DOI: 10.1017/s0017089500006273